Issue586a.agda:3,1-24
Cannot use NON_TERMINATING pragma with safe flag.
